functional calculus
[ˈfʌŋkʃənəl ˈkælkjələs]
谓词演算
谓词演算
热门查询
- plunger n. [机] 活塞；潜水者；跳水者；莽撞的人
- bank account n. 银行账户 [网络] 银行帐户；银行账号；银行帐号
- page n. 页；记录；大事件，时期；男侍者 vt. 给…标页码 vi. 翻书页，浏览 n. (Page)人名；(西)帕赫；(英)佩奇；(意)帕杰；(法)帕日
- PRI n. (Pri)人名；(丹、挪)普里 abbr. 脉波重复间隔（pulse recurrence interval）；照相侦查与判读（photographic reconnaissance and interpretation）
- Partido n. (Partido)人名；(西)帕蒂多
- contemplatively 沉思地
- McGuinness 麦吉尼斯（人名）
- mouse n. 鼠标；老鼠；胆小羞怯的人 vt. 探出 vi. 捕鼠；窥探
- plasma n. [等离子] 等离子体；血浆；[矿物] 深绿玉髓
- Crustacea 甲壳类
- tongued adj. 有…舌头的；说话…的 v. 用舌头；吹奏管乐器（tongue的过去分词）
- stubble n. 残株；发茬，须茬
- motion picture n. 电影 adj. 电影的 [网络] 影片；动作片；电影片
- doss n. 床铺；简陋床铺；小客栈；睡眠 n. (Doss)人名；(英、法、德)多斯 vi. 凑合躺下睡觉；将就过夜
- Aldeburgh n. (Aldeburgh)人名；(英)奥尔德伯勒
- decide vi. 决定，下决心 vt. 决定；解决；判决
- enthusiastic adj. 热情的；热心的；狂热的
- informed v. 通知；使了解；提供资料（inform的过去分词） adj. 消息灵通的；见多识广的
- Alfredo n. 阿尔费雷多面条(Fettuccine Alfredo)。特指用干酪，黄油及奶油等酱汁调拌而成的意大利宽长面条(pasta)。
- amanda n. 阿曼达（女子名）
